&X.&_4λε#H⊗λε∪H≤$α⊂λεβλ≥
ε#P~∞$α⊂λ∧∧`"Uλ"p(∀HUX)∀
"`*⊃+¬h⊂λ∧α⊂∀⊗82Hε∀`∞G#Qh∞G#Q`
FC⊃@$Sβ∃(*U*U(*U*UR)E(*U*U(*U*U⊂(T	∀`$∃*U(*U*U(*Tj∧@$S
U(*U*U(*U*5⊂(∩)E(*U*U(*U*U_)∀*∧H"∃*U(*U*U(*Tj%λ(⊂)E(*U*U(*U*U (∩)E(*U*U(*U*U (T	∀ *U*U(*U*U(*∀*∧λ"∃*U(*U*U(*U
∃ S
U(*U*U(*U*E⊂(∩λE(*U*U(*U*U )∀(E(*U*U(*U*U )∀(E(*U*U(*U*U )∀(E(*U*U(*U*U )∀(E(*U*U(*U*U )∀(E(*U*U(*U*U )∀(e(*U*U(*U*U )∀λ$ *U*U(*U*U(*∀*∧λ"∃*U(*U*U(*U
∃ QJU(*U*U(*U*Eλ(⊂he(*U*U(*U*U (⊂hE(*U*U(*U*U_)∀*∧λ#∃*U(*U*U(*Tj%λ(⊂he(*U*U(*U*U_)∀λ40!∃*U(*U*U(*Tj∧⊂!QJU(*U*U(*U*%λ(⊂hE(*U*U(*U*Uλ(λ(4`*U
5⊂∩Hd%(*TDR(∩λD∩!Q
U )∀$"!QD%(*∀j%λ S
U (T∧∩!QD∩*U
5λ(∩)E(*λ$∧_#λ$¬(*∀i∀ *Tj%⊂Phbλ*U
% S
U_)⊂H40⊂U*Eλ(∩(E()T($_#λ*U (∩)E()Tλ$_#⊂JU_)∀*∧λ"∃*%λ(⊂H40⊂U*5⊂(∩)E()∀($_#⊂JU_)∩(E()⊂H40!∃*5λ Q
Uλ(⊂hd⊂*Tj∧H&∃*∃!QH%()∀*∧λ"∃*∀_#∃*%λ(∩(E((⊂hd⊂*TJ∧λ&∃*∧_#∃*$λ"∃(40!∃*∃$Q
E_)∀*∧_#∃*∀λ"∃
5⊂(P(e((⊂(E )TJ∀_#∃(∀ *∀j% QJE_)∀*∧λ"∃
5⊂(⊂he )TJ∀λ"∃
5⊂ Q
E_)∀λ∀ *∀j$λ#∃
5⊂(⊂(E )TH∀ *∀j$λ"∃
5⊂ Q
E_)⊂(E )TH∀ *∀j$λ"∃
5⊂ Q
E_)⊂(E )TH∀ *∀j$λ"∃
5⊂(∩)E )TJ∧λ"∃
5⊂(⊂(E )TJ∧λ"∃
5⊂(R)E )TJ∀λ"∃
5⊂(P(E )TJ∀λ"∃
5⊂(T	∀`*∀j%λ(⊂(E($S
Tλ#∃*∧H&∃*∧_"∃*∧H&∃*∧λ"∃*∀H&∃*∀λ#∃*∃$S
Uλ(⊂hE((T	∀`*T*∧λ"∃*$@$S	¬()⊂(e()∀)∧H&∩
U⊂(PhE()∀*∧@$S	¬()∀*∧λ#∃*5$∩)D@*Tj∧_"∃*5λ$∩)D@*Tj∀λ#∃*5⊂$∩)D@*Tj$_"∃*5⊂(ε)∀`U*5⊂(⊂(e(*ε#∧H&ε#¬(*⊂he(*∀*↓H∩)AH∃*Eλ(⊂hE(*∀J⊃P∩)AP∃*E⊂(P(e(*∀j!X
ε	∀`
FC¬(*∀j$_#∃*U_(πβ1@*U*5!QJU(*U*U_(⊂he(*U*U()∀*∧_#∃*U(*U*%!QJU(*U*Uλ(⊂he(*U*U((⊂he(*U*U )TJ∃!QJU(*U*E_)∀λ40*U*U(*∀j∃!QJU(*U*E_(⊂he(*U*U )∀*∧_#∃*U(*U
%!QH%(*U*U (⊂H40*U*U()TJ∃!QH%(*U*U_(Tλ$_#∃*U(*Tj∧_#⊂JU(*U*%!⊂hd⊂*U*U((⊂H40!∃*U(*∀j%!⊂hd⊂*U*U )Tλ$_#⊂JU(*U
%!⊂hd⊂*U*U (⊂H40⊂U*U()T*αλ!QD∃(*U*%⊂Phbλ*U*E_)∀*αλ!QD∩*U*E⊂(T∧∩!QD∩*U*5⊂(T∧∩!QD"*U*∃⊃λλ40⊃HD¬()∀*α_⊃λλ40∩HD∧__Mg∪@→f∪_L&∪⊂→F#_~&S(_MF# →
&cλ≠L'αp↔Ebp↔Ebp↔Ebp↔Ebp↔E`wZ¬npα=↑βX8{@Sw↓)>pαY=`(@;hsε{@YPwQ\⊂`w↓6↑x#1aNpαs⎇t0Iβ=`(u;hg8ε;@` wQKPhw↓Cnx#↔!↑pβ∞=t0!α⎇`0){hb@ε;@fpwQE`w↓Q∞x#
↓Npβ(⎇t0εC≥`0↑{h`h¬{@m@wQAPXw↓↑.x#β!>pβC=t0εB⎇`8∪{h`h¬{@t⊂wQAPXw↓kNx#β!Npβ]]t0∀β≥`8H{hb@ε;@zXwQE`w↓xnx#⊂A>pβx≥t0.C=`8⎇{hehε{A↓(wQNp`wαε∞x#$A↑p∧∩]t0cC≥`@2{hnλε;AπxwQXqλwα∪≡x#1`}x(h }p∧-≥t0V↓⎇u⊂∩B≥`@g;hi⊂α{j(xβ;A∞HwQR 0wT←⊂0wα >x#≥`↑x)Rnp∧G]t0;A=u_KA=`H≤;hehα{j>8β{A∃_wQKP0wUβ@0wα-↑x#⊂@↑x*~`↑p∧b≥t0!↓≥u P↓=`HQ;hd⊂α;jM(α{A≠hwQE wU! 0wα:}x#
>x*O`↑p∧|=t0∀⎇u(,A=`Pε;h`h↓{jXp↓{A"0wQAP⊂wU5⊂(wαH≡x#β nx*w >p¬⊗⎇t0εA=u(|⎇`P;;h`hα{ja⊂↓;A)wQAP(wUEP0wαU>x#β ↑x+⊃`↑p¬1=t0εA≥u01↓=`Pp;h`hα;jf⊂α{A/PwQAP wUO@ wαbNx#β Nx+∨Np¬K⎇t0εA≥u0>↓≥`X${h`hα;jg`α;A6 wQAP wUO@ wαonx#β ↑x+_@↑p¬f=t0εA=u01↓=`XY{h`hα{jd8α{A<pwQAP(wUHp(wα⎇∞x#β nx+ npε⎇t0ε@]u0	]``∞{h`h↓{j←@↓{AC@wQE_wU;P_wβ
.x#
>x*p`>pε≠≥t0∀↓≥u(TA≥``C{hd⊂α;jXpα;AJλwQH  wU+⊂ wβ↔Nx#⊂@↑x*I↑pε5]t0.A]u wA]``x{hehα{jKPα{APXwQNp(wU⊂P(wβ$nx#≥`↑x*∀ ↑pεP≥t0I↓]u A]`h-{hi⊂α{j98α{AW(wQU@8wTe`8wβ1}x#1`}x)#`}pεj]t0cB≥uλ∞α≥`hb;hnλε;A]xwQ←0@wβ?≡x#EA≡pπ¬≥t8_α≥`p↔;htX∧;AdHwQlP8wβL>x#`↓.pπ∨]t8Mα=`pL;h{(∧{Ak_wQyp@wβY↑x#zA≡pπ9⎇t@αα≥`x↓;i↓p∧{Aq`wR
0Hwβf}x$≠A.pπT=t@QA⎇`x6;ih∧{Ax0wR≡ @wβt≡x$Ia.pπn⎇tH.α=`xk;i→λ∧{A␈wR8`@w∧↓.x$}a≡pλ	=tP%α≥a∨{i)H¬;B¬PwR]⊂Xw∧∞Nx%Ta>pλ#⎇tX↑B=aT{iEX¬{B wS9` w∧≠npλ>=aλ	{B∩pw∧)∞pλX]aλ>{B→8w∧6.pλs≥aλs{B λw∧CNp	
]a⊂({B&Xw∧P↑p	(≥a⊂];B-(w∧]}p	B]a_∩;B3xw∧k≡p	]≥a_G;B:Hw∧x>p	w=a_|;l$ w↓T0wXHNp∧| ∞x.F]``)≥u`={A]x;k<⊂w↓T0wV≡}pβ(`∞x,=⎇`P-@=u@{{Agp{k∂8w∧9@λwUs}p∧∩@≡x+g⎇``)=u⊂-;@j_;j%PwβO`λwSa>pβ(`∞x'B⎇`p?=tHU{A∧P{i~Xwβ
 λwR
npβ(`∞x$≠]`P-@=t@7;Agp{l∃0w↓↑ wX*np¬⊂ ∞x.
⎇``P@≥u`∃{AXx;k-_w↓↑ wV↓≡pβ<@∞x,α=`X
≥u@∧{As8;kHw∧PPwUV≡p∧@`∞x+,=`h¬@≥uλ6;@o⊂;j⊗`wβfpwSC↑pβ<@∞x'π=`x≠@≥t@↑{A⊂_;ihwβ!0wQp∞pβ<@∞x#`≥`X
≥t8@;As8?oPV8*∃MR ↓-?␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∧∨a% $S(U_)∪iTλ'↓@∧λ∨`40$Q`↓ ↓@	( 0 5`H@8?␈xK;6∩8 λ␈␈␈␈x∀␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈xα≠W 1UλU@⊂⊃nV(9]∞2∀∃λU@⊂⊂∧¬_ R)BH
∪,↔⊂1Z∧β⊂≤K∧βλ≤Nε∩⊂λ∧β_NFC⊂≥
π⊂